1. $T$ : Type
\\[0ex]2. $T$ List
\\[0ex]$\vdash$  $\forall$${\it bs}$:($T$ List). ${\it bs}$ $\sim$ ${\it bs}$